Essential Forcing Generics
نویسندگان
چکیده
منابع مشابه
Essential Forcing Generics
We use model theoretic forcing to study and generalize the construction of (K ,≤)-generic models introduced by Kueker and Laskowski. We characterize the (K ,≤)-generic models in terms of forcing and introduce a more general class of models, called essential forcing generics, which have many of the same properties.
متن کاملGenerics for computable Mathias forcing
We study the complexity of generic reals for computable Mathias forcing in the context of computability theory. The n-generics and weak ngenerics form a strict hierarchy under Turing reducibility, as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if G is any n-generic with n ≥ 3 then it satisfies the jump property G(n−1) ≡T G′ ⊕ ∅(n). We p...
متن کاملGenerics and Reverse Generics for Pharo
Generic programming is a mechanism for re-using code by abstracting specific types used in classes and programs. In this paper, we present a mechanism for adding generic programming in dynamically typed languages, showing how programmers can benefit from generic programming. Furthermore, we enhance the expressiveness of generic programming with reverse generics, a mechanism for automatically de...
متن کاملVerifying Generics and Delegates
Recently, object-oriented languages, such as C, have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order functions. In the OO world these are called generics and delegates, respectively. These features allow for greater code reuse and reduce the possibilities for runtime errors. However, the combination of these features pushes t...
متن کاملGenerics: A Philosophical Introduction
As remarked in the Introduction to this volume, there are two different phenomena that have been comprehended under the title of ‘generics’: (a) reference to kinds and (b) some statements of generality. Reference to kinds is a feature of (some) noun phrases, since it is (some) NPs that can accomplish reference. Meanwhile, generic statements involve an entire sentence, since it is entire sentenc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2000
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1027953482